Implementation And Evaluation Of The Knowledge Element Preparation Model MASTERTHESIS Zur Erlangung des akademischen Grades “Master of Science” im Studiengang Wirtschaftsinformatik

Source URL: www.maria-a-schett.net

• Business software
• Decision support system
• Knowledge engineering
• Systems engineering
• Evaluation
• Decision model
• Design science
• Kep
• Knowledge
• Engineering
• Science

Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science

Source URL: precision.moscito.org

• X86 architecture
• X86-64
• Z3
• Computing
• Computer hardware
• Computer engineering

An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Source URL: www.cs.purdue.edu

• Concurrency control
• Computing
• Edsger W. Dijkstra
• Concurrent computing
• Computer programming
• Concurrency
• Transaction processing
• Synchronization
• Lock
• Monitor
• Parallel computing
• Granularity

Secure PRNGs from Specialized Polynomial Maps over Any Fq Feng-Hao Liu1 , Chi-Jen Lu2 , and Bo-Yin Yang2 1 Department of Computer Science, Brown University, Providence RI, USA

Source URL: precision.moscito.org

• Cryptography
• Mathematics
• Polynomials
• Multivariate cryptography
• Algebra
• Pseudorandom number generator
• Computer algebra
• Hidden Field Equations
• QUAD
• Field extension
• Cryptographically secure pseudorandom number generator
• Mersenne Twister

Task Learning through Visual Demonstration and Situated Dialogue Changsong Liu and Joyce Y. Chai Nishant Shukla and Song-Chun Zhu Department of Computer Science and Engineering Center for Vision, Cognition, Learning and

Source URL: shukla.io

• Learning
• Humancomputer interaction
• Cognition
• Machine learning
• Multimodal interaction
• User interfaces
• Graphical model
• Artificial intelligence
• Robot learning
• Natural language processing
• Parsing
• Dialogue system

The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known

Source URL: www.cs.bham.ac.uk

• BitTorrent
• Peer-to-peer file sharing
• File sharing
• Computing
• Comparison of BitTorrent clients
• Torrent file
• The Pirate Bay
• Copyright infringement
• Peer-to-peer
• Peer exchange
• Torrent poisoning

Learning Outcomes for Master of Science (MSc) in Human Resource Management and Organizational Psychology National Qualification Framework for Iceland MSc in Human Resource Management and Organizational Psychology at Reyk

Source URL: en.ru.is

• Behavioural sciences
• Metaphysics
• Behavior
• Organizational studies
• Applied psychology
• Industrial and organizational psychology
• Systems psychology
• Educational psychology
• Education
• Psychology
• Academic degree
• Organizational behavior

Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output

Source URL: www.cs.bham.ac.uk

• Mathematical analysis
• Mathematics
• Experiment
• Information theory
• Statistical theory
• Measure theory
• Random variable
• Statistical randomness
• Sigma-algebra
• Probability distribution
• Joint probability distribution
• Probability space

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org

For the DISTINCT Clause of SPARQL Queries Medha Atre Dept. of Computer Science and Engineering Indian Institute of Technology, Kanpur, India

Source URL: gdac.uqam.ca

• Graph theory
• Computing
• Resource Description Framework
• Query languages
• Mathematics
• Discrete mathematics
• SPARQL
• FO
• Graph
• Directed graph
• RDFLib